Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
71	Calculating Criticalities A. Bundy1 F. Giunchiglia2 3 R. Sebastiani4 T. Walsh2 4 ; ; Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:14:05 Lambda calculus Logic in computer science Order theory FO Finite model theory Abstraction Fixed-point combinator Combinatory logic Monotonic function Theoretical computer science Mathematics Mathematical analysis
72	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
73	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
74	Dimensionality Reduction by Unsupervised Regression ´ Carreira-Perpi˜na´ n Miguel A. EECS, University of California, Merced Zhengdong Lu Add to Reading List Source URL: faculty.ucmerced.edu Language: English - Date: 2008-07-14 20:37:43 Multivariate statistics Data analysis Dimension reduction Probability theory Numerical analysis Fixed-point combinator Nonlinear dimensionality reduction Principal component analysis Spectral method Mathematical analysis Mathematics Statistics
75	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
76	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics
77	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-19 16:17:18 Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics
78	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
79	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
80	Type Preservation as a Confluence Problem∗ Aaron Stump1 , Garrin Kimmell1 , and Roba El Haj Omar1 1 Computer Science The University of Iowa Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-04-26 05:41:58 Mathematics Logic in computer science Formal languages Models of computation Combinatory logic Fixed-point combinator Rewriting Simply typed lambda calculus Overlap Theoretical computer science Applied mathematics Lambda calculus

UPDATE